2.2.30 Integrals 2901 to 3000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 172 106 145 0 78 0 0 0

N.S.

1 1.10 0.68 0.92 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.241 6.362 1.404 0.000 0.071 0.000 0.000 0.000

Problem 2902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 132 101 140 0 73 0 0 0

N.S.

1 1.05 0.80 1.11 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.221 5.433 1.334 0.000 0.075 0.000 0.000 0.000

Problem 2903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 88 135 0 68 0 0 0

N.S.

1 1.05 0.90 1.38 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.191 5.514 1.344 0.000 0.066 0.000 0.000 0.000

Problem 2904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 118 135 0 82 0 0 0

N.S.

1 1.08 0.91 1.05 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.219 6.260 1.348 0.000 0.069 0.000 0.000 0.000

Problem 2905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 94 219 0 108 0 0 0

N.S.

1 1.09 0.59 1.37 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.239 7.329 1.360 0.000 0.069 0.000 0.000 0.000

Problem 2906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 99 271 0 128 0 0 0

N.S.

1 1.10 0.52 1.42 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.276 7.468 1.369 0.000 0.073 0.000 0.000 0.000

Problem 2907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 247 106 295 0 148 0 0 0

N.S.

1 1.11 0.48 1.33 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.296 7.714 1.366 0.000 0.071 0.000 0.000 0.000

Problem 2908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 280 121 160 0 93 0 0 0

N.S.

1 1.14 0.49 0.65 0.00 0.38 0.00 0.00 0.00

time (sec)

N/A 0.330 8.305 4.577 0.000 0.075 0.000 0.000 0.000

Problem 2909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 244 116 155 0 88 0 0 0

N.S.

1 1.11 0.53 0.71 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.299 8.288 1.356 0.000 0.074 0.000 0.000 0.000

Problem 2910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 206 111 150 0 83 0 0 0

N.S.

1 1.10 0.59 0.80 0.00 0.44 0.00 0.00 0.00

time (sec)

N/A 0.269 7.224 1.414 0.000 0.069 0.000 0.000 0.000

Problem 2911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 165 106 145 0 78 0 0 0

N.S.

1 1.06 0.68 0.94 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.255 5.987 1.350 0.000 0.073 0.000 0.000 0.000

Problem 2912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 101 140 0 73 0 0 0

N.S.

1 1.08 0.78 1.09 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.216 5.394 1.353 0.000 0.074 0.000 0.000 0.000

Problem 2913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 118 135 0 82 0 0 0

N.S.

1 1.08 0.91 1.05 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.218 6.787 1.353 0.000 0.072 0.000 0.000 0.000

Problem 2914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 94 219 0 108 0 0 0

N.S.

1 1.09 0.59 1.37 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.243 7.735 1.358 0.000 0.071 0.000 0.000 0.000

Problem 2915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 99 271 0 128 0 0 0

N.S.

1 1.10 0.52 1.42 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.264 7.661 1.370 0.000 0.076 0.000 0.000 0.000

Problem 2916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 247 104 295 0 148 0 0 0

N.S.

1 1.11 0.47 1.33 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.292 7.838 4.586 0.000 0.073 0.000 0.000 0.000

Problem 2917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 283 111 319 0 168 0 0 0

N.S.

1 1.12 0.44 1.26 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.316 8.042 1.373 0.000 0.073 0.000 0.000 0.000

Problem 2918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 173 106 145 0 78 0 0 0

N.S.

1 1.08 0.66 0.91 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.247 6.398 1.366 0.000 0.075 0.000 0.000 0.000

Problem 2919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 137 101 140 0 73 0 0 0

N.S.

1 1.06 0.78 1.09 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.219 5.512 1.360 0.000 0.072 0.000 0.000 0.000

Problem 2920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 88 135 0 68 0 0 0

N.S.

1 1.05 0.90 1.38 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.190 5.636 1.358 0.000 0.070 0.000 0.000 0.000

Problem 2921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 88 135 0 68 0 0 0

N.S.

1 1.00 1.42 2.18 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.158 2.657 1.359 0.000 0.070 0.000 0.000 0.000

Problem 2922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 61 92 0 68 0 0 0

N.S.

1 1.00 0.75 1.14 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.183 2.669 1.351 0.000 0.070 0.000 0.000 0.000

Problem 2923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 118 135 0 82 0 0 0

N.S.

1 1.08 0.91 1.05 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.220 6.537 1.363 0.000 0.074 0.000 0.000 0.000

Problem 2924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 173 93 219 0 108 0 0 0

N.S.

1 1.08 0.58 1.37 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.257 6.459 1.383 0.000 0.074 0.000 0.000 0.000

Problem 2925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 209 101 271 0 128 0 0 0

N.S.

1 1.09 0.53 1.42 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.268 6.702 1.356 0.000 0.071 0.000 0.000 0.000

Problem 2926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 128 145 0 92 0 0 0

N.S.

1 1.10 0.67 0.76 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.266 7.369 1.360 0.000 0.072 0.000 0.000 0.000

Problem 2927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 123 140 0 87 0 0 0

N.S.

1 1.09 0.77 0.88 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.245 7.162 1.353 0.000 0.070 0.000 0.000 0.000

Problem 2928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 118 135 0 82 0 0 0

N.S.

1 1.08 0.91 1.05 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.214 6.681 1.432 0.000 0.077 0.000 0.000 0.000

Problem 2929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 118 135 0 82 0 0 0

N.S.

1 1.08 0.91 1.05 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.214 5.878 1.365 0.000 0.069 0.000 0.000 0.000

Problem 2930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 135 118 135 0 82 0 0 0

N.S.

1 1.05 0.91 1.05 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.215 5.551 1.430 0.000 0.070 0.000 0.000 0.000

Problem 2931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 118 135 0 82 0 0 0

N.S.

1 1.08 0.91 1.05 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.218 5.730 1.370 0.000 0.069 0.000 0.000 0.000

Problem 2932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 93 135 0 108 0 0 0

N.S.

1 1.09 0.58 0.84 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.240 6.039 1.364 0.000 0.073 0.000 0.000 0.000

Problem 2933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 98 219 0 128 0 0 0

N.S.

1 1.10 0.51 1.15 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.271 7.203 1.422 0.000 0.072 0.000 0.000 0.000

Problem 2934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 247 103 271 0 148 0 0 0

N.S.

1 1.11 0.46 1.22 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.297 7.524 1.372 0.000 0.078 0.000 0.000 0.000

Problem 2935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 104 229 0 118 0 0 0

N.S.

1 1.13 0.48 1.05 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.307 8.268 1.435 0.000 0.075 0.000 0.000 0.000

Problem 2936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 99 224 0 113 0 0 0

N.S.

1 1.13 0.53 1.20 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.263 7.494 1.370 0.000 0.072 0.000 0.000 0.000

Problem 2937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 94 219 0 108 0 0 0

N.S.

1 1.12 0.60 1.40 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.247 7.182 1.375 0.000 0.075 0.000 0.000 0.000

Problem 2938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 94 219 0 108 0 0 0

N.S.

1 1.12 0.60 1.40 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.253 7.149 1.359 0.000 0.070 0.000 0.000 0.000

Problem 2939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 94 219 0 108 0 0 0

N.S.

1 1.12 0.60 1.40 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.246 6.105 1.376 0.000 0.073 0.000 0.000 0.000

Problem 2940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 171 93 219 0 108 0 0 0

N.S.

1 1.10 0.60 1.40 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.246 6.205 1.369 0.000 0.068 0.000 0.000 0.000

Problem 2941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 93 219 0 108 0 0 0

N.S.

1 1.12 0.60 1.40 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.247 6.438 1.364 0.000 0.073 0.000 0.000 0.000

Problem 2942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 98 219 0 128 0 0 0

N.S.

1 1.13 0.52 1.17 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.275 6.392 1.365 0.000 0.070 0.000 0.000 0.000

Problem 2943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 103 256 0 148 0 0 0

N.S.

1 1.13 0.47 1.17 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.301 7.423 1.386 0.000 0.077 0.000 0.000 0.000

Problem 2944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 283 108 323 0 168 0 0 0

N.S.

1 1.14 0.43 1.30 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.319 7.769 4.634 0.000 0.074 0.000 0.000 0.000

Problem 2945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 126 243 0 103 0 0 0

N.S.

1 1.13 0.58 1.11 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.299 8.216 1.383 0.000 0.077 0.000 0.000 0.000

Problem 2946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 121 238 0 98 0 0 0

N.S.

1 1.13 0.65 1.27 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.273 8.223 1.362 0.000 0.071 0.000 0.000 0.000

Problem 2947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 116 233 0 93 0 0 0

N.S.

1 1.12 0.74 1.49 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.241 7.863 1.349 0.000 0.073 0.000 0.000 0.000

Problem 2948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 135 111 219 0 88 0 0 0

N.S.

1 1.10 0.90 1.78 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 0.218 6.131 1.366 0.000 0.073 0.000 0.000 0.000

Problem 2949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 110 219 0 88 0 0 0

N.S.

1 1.11 0.88 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.219 3.096 1.383 0.000 0.073 0.000 0.000 0.000

Problem 2950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 111 219 0 88 0 0 0

N.S.

1 1.11 0.89 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.216 2.742 4.628 0.000 0.067 0.000 0.000 0.000

Problem 2951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 93 228 0 108 0 0 0

N.S.

1 1.12 0.60 1.46 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.252 6.168 1.382 0.000 0.071 0.000 0.000 0.000

Problem 2952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 98 228 0 128 0 0 0

N.S.

1 1.13 0.52 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.270 7.592 1.363 0.000 0.075 0.000 0.000 0.000

Problem 2953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 247 103 295 0 148 0 0 0

N.S.

1 1.12 0.47 1.34 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.289 7.816 1.382 0.000 0.076 0.000 0.000 0.000

Problem 2954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 245 126 243 0 103 0 0 0

N.S.

1 1.10 0.57 1.09 0.00 0.46 0.00 0.00 0.00

time (sec)

N/A 0.299 8.996 4.666 0.000 0.076 0.000 0.000 0.000

Problem 2955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 207 121 238 0 98 0 0 0

N.S.

1 1.08 0.63 1.25 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.269 8.555 1.375 0.000 0.073 0.000 0.000 0.000

Problem 2956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 169 116 233 0 93 0 0 0

N.S.

1 1.07 0.73 1.47 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.241 7.315 1.372 0.000 0.073 0.000 0.000 0.000

Problem 2957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 137 111 219 0 88 0 0 0

N.S.

1 1.08 0.87 1.72 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.218 6.427 1.379 0.000 0.072 0.000 0.000 0.000

Problem 2958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 137 111 219 0 88 0 0 0

N.S.

1 1.08 0.87 1.72 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.225 6.480 1.374 0.000 0.073 0.000 0.000 0.000

Problem 2959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 173 94 228 0 108 0 0 0

N.S.

1 1.09 0.59 1.44 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.243 7.401 1.376 0.000 0.071 0.000 0.000 0.000

Problem 2960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 99 228 0 128 0 0 0

N.S.

1 1.10 0.52 1.19 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.274 8.347 1.382 0.000 0.072 0.000 0.000 0.000

Problem 2961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 247 104 295 0 148 0 0 0

N.S.

1 1.11 0.47 1.33 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.298 8.528 1.372 0.000 0.073 0.000 0.000 0.000

Problem 2962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 281 131 248 0 108 0 0 0

N.S.

1 1.11 0.52 0.98 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.328 9.046 4.673 0.000 0.069 0.000 0.000 0.000

Problem 2963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 243 126 243 0 103 0 0 0

N.S.

1 1.10 0.57 1.10 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.295 8.722 1.378 0.000 0.070 0.000 0.000 0.000

Problem 2964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 202 121 238 0 98 0 0 0

N.S.

1 1.07 0.64 1.26 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.274 7.600 1.381 0.000 0.071 0.000 0.000 0.000

Problem 2965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 116 233 0 93 0 0 0

N.S.

1 1.09 0.72 1.46 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.257 7.324 1.382 0.000 0.075 0.000 0.000 0.000

Problem 2966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 137 111 219 0 88 0 0 0

N.S.

1 1.08 0.87 1.72 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.225 7.230 1.419 0.000 0.072 0.000 0.000 0.000

Problem 2967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 173 93 228 0 108 0 0 0

N.S.

1 1.09 0.59 1.44 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.244 8.358 1.398 0.000 0.070 0.000 0.000 0.000

Problem 2968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 99 228 0 128 0 0 0

N.S.

1 1.10 0.52 1.19 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.264 8.655 1.386 0.000 0.073 0.000 0.000 0.000

Problem 2969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 245 103 295 0 148 0 0 0

N.S.

1 1.11 0.47 1.34 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.289 8.631 4.686 0.000 0.077 0.000 0.000 0.000

Problem 2970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 283 108 319 0 168 0 0 0

N.S.

1 1.12 0.43 1.26 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.319 8.764 1.400 0.000 0.074 0.000 0.000 0.000

Problem 2971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 121 238 0 98 0 0 0

N.S.

1 1.13 0.65 1.27 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.274 8.098 1.370 0.000 0.072 0.000 0.000 0.000

Problem 2972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 116 233 0 93 0 0 0

N.S.

1 1.12 0.74 1.49 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.247 8.005 1.369 0.000 0.071 0.000 0.000 0.000

Problem 2973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 111 219 0 88 0 0 0

N.S.

1 1.11 0.89 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.222 7.508 1.386 0.000 0.072 0.000 0.000 0.000

Problem 2974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 135 110 219 0 88 0 0 0

N.S.

1 1.08 0.88 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.215 6.166 1.383 0.000 0.071 0.000 0.000 0.000

Problem 2975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 111 219 0 88 0 0 0

N.S.

1 1.11 0.89 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.220 3.042 1.370 0.000 0.067 0.000 0.000 0.000

Problem 2976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 111 219 0 88 0 0 0

N.S.

1 1.11 0.89 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.215 2.650 1.367 0.000 0.070 0.000 0.000 0.000

Problem 2977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 93 228 0 108 0 0 0

N.S.

1 1.12 0.60 1.46 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.240 6.713 1.406 0.000 0.072 0.000 0.000 0.000

Problem 2978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 98 228 0 128 0 0 0

N.S.

1 1.13 0.52 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.259 8.093 1.379 0.000 0.074 0.000 0.000 0.000

Problem 2979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 103 295 0 148 0 0 0

N.S.

1 1.13 0.47 1.35 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.292 8.223 1.404 0.000 0.076 0.000 0.000 0.000

Problem 2980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 104 238 0 118 0 0 0

N.S.

1 1.13 0.48 1.09 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.290 8.652 1.375 0.000 0.075 0.000 0.000 0.000

Problem 2981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 99 233 0 113 0 0 0

N.S.

1 1.13 0.53 1.25 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.266 8.662 1.387 0.000 0.072 0.000 0.000 0.000

Problem 2982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 94 228 0 108 0 0 0

N.S.

1 1.12 0.60 1.46 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.244 8.292 1.379 0.000 0.071 0.000 0.000 0.000

Problem 2983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 94 228 0 108 0 0 0

N.S.

1 1.12 0.60 1.46 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.243 7.809 1.402 0.000 0.080 0.000 0.000 0.000

Problem 2984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 171 94 228 0 108 0 0 0

N.S.

1 1.10 0.60 1.46 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.242 6.877 1.358 0.000 0.071 0.000 0.000 0.000

Problem 2985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 93 228 0 108 0 0 0

N.S.

1 1.12 0.60 1.46 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.244 6.083 1.367 0.000 0.069 0.000 0.000 0.000

Problem 2986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 93 228 0 108 0 0 0

N.S.

1 1.12 0.60 1.46 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.243 6.351 1.389 0.000 0.071 0.000 0.000 0.000

Problem 2987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 98 228 0 128 0 0 0

N.S.

1 1.13 0.52 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.263 7.343 1.394 0.000 0.070 0.000 0.000 0.000

Problem 2988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 103 256 0 148 0 0 0

N.S.

1 1.13 0.47 1.17 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.296 9.276 1.385 0.000 0.073 0.000 0.000 0.000

Problem 2989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 283 109 323 0 168 0 0 0

N.S.

1 1.14 0.44 1.30 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.325 8.638 4.721 0.000 0.073 0.000 0.000 0.000

Problem 2990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 283 109 267 0 138 0 0 0

N.S.

1 1.14 0.44 1.07 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.321 8.904 1.403 0.000 0.074 0.000 0.000 0.000

Problem 2991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 104 247 0 133 0 0 0

N.S.

1 1.13 0.48 1.13 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.294 8.707 4.722 0.000 0.075 0.000 0.000 0.000

Problem 2992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 99 228 0 128 0 0 0

N.S.

1 1.13 0.53 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.269 8.435 4.725 0.000 0.074 0.000 0.000 0.000

Problem 2993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 99 228 0 128 0 0 0

N.S.

1 1.13 0.53 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.266 8.182 1.387 0.000 0.071 0.000 0.000 0.000

Problem 2994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 99 228 0 128 0 0 0

N.S.

1 1.13 0.53 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.272 8.047 4.703 0.000 0.072 0.000 0.000 0.000

Problem 2995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 207 98 228 0 128 0 0 0

N.S.

1 1.11 0.52 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.269 7.090 4.699 0.000 0.075 0.000 0.000 0.000

Problem 2996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 98 228 0 128 0 0 0

N.S.

1 1.13 0.52 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.275 7.514 1.388 0.000 0.073 0.000 0.000 0.000

Problem 2997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 98 228 0 128 0 0 0

N.S.

1 1.13 0.52 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.267 7.922 1.377 0.000 0.074 0.000 0.000 0.000

Problem 2998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 103 256 0 148 0 0 0

N.S.

1 1.13 0.47 1.17 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.304 7.705 1.370 0.000 0.074 0.000 0.000 0.000

Problem 2999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 283 108 239 0 168 0 0 0

N.S.

1 1.14 0.43 0.96 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.324 8.391 4.717 0.000 0.071 0.000 0.000 0.000

Problem 3000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

280 319 113 304 0 188 0 0 0

N.S.

1 1.14 0.40 1.09 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.344 8.673 1.404 0.000 0.074 0.000 0.000 0.000